fmap f . alpha = alpha . fmap f